formal specification - Turco Inglés Diccionario